﻿namespace VisualFaml
{
    partial class Form1
    {
        /// <summary>
        /// Required designer variable.
        /// </summary>
        private System.ComponentModel.IContainer components = null;

        /// <summary>
        /// Clean up any resources being used.
        /// </summary>
        /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
        protected override void Dispose(bool disposing)
        {
            if (disposing && (components != null))
            {
                components.Dispose();
            }

            base.Dispose(disposing);
        }

        #region Windows Form Designer generated code

        /// <summary>
        /// Required method for Designer support - do not modify
        /// the contents of this method with the code editor.
        /// </summary>
        private void InitializeComponent()
        {
            System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(Form1));
            this.statusStrip1 = new System.Windows.Forms.StatusStrip();
            this.statusLibrary = new System.Windows.Forms.ToolStripStatusLabel();
            this.splitContainer1 = new System.Windows.Forms.SplitContainer();
            this.splitContainer2 = new System.Windows.Forms.SplitContainer();
            this.groupBox1 = new System.Windows.Forms.GroupBox();
            this.statusExpression = new System.Windows.Forms.StatusStrip();
            this.toolStripCurrentChar = new System.Windows.Forms.ToolStripStatusLabel();
            this.toolStripFontSizeMenu = new System.Windows.Forms.ToolStripDropDownButton();
            this.ptToolStripMenuItem6 = new System.Windows.Forms.ToolStripMenuItem();
            this.ptToolStripMenuItem5 = new System.Windows.Forms.ToolStripMenuItem();
            this.ptToolStripMenuItem4 = new System.Windows.Forms.ToolStripMenuItem();
            this.ptToolStripMenuItem3 = new System.Windows.Forms.ToolStripMenuItem();
            this.ptToolStripMenuItem2 = new System.Windows.Forms.ToolStripMenuItem();
            this.ptToolStripMenuItem1 = new System.Windows.Forms.ToolStripMenuItem();
            this.ptToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
            this.toolStripExpressionCopyToClipboard = new System.Windows.Forms.ToolStripDropDownButton();
            this.toolStripExpressionSelectAll = new System.Windows.Forms.ToolStripDropDownButton();
            this.toolStripExpressionClear = new System.Windows.Forms.ToolStripDropDownButton();
            this.toolStripDropDownButton2 = new System.Windows.Forms.ToolStripDropDownButton();
            this.openToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
            this.saveAsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
            this.expression = new System.Windows.Forms.TextBox();
            this.groupBox2 = new System.Windows.Forms.GroupBox();
            this.output = new VisualFaml.ConsoleBox();
            this.tabDiagrams = new System.Windows.Forms.TabControl();
            this.tabResultExpression = new System.Windows.Forms.TabPage();
            this.resultExpression = new VisualFaml.ConsoleBox();
            this.toolStrip1 = new System.Windows.Forms.ToolStrip();
            this.toolStripDropDownButton1 = new System.Windows.Forms.ToolStripDropDownButton();
            this.evaluateToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
            this.evaluateBuildToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
            this.buildGraphToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
            this.toolStripSplitButton1 = new System.Windows.Forms.ToolStripSplitButton();
            this.localToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
            this.oGSADAIToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
            this.toolOptimizationSwitch = new System.Windows.Forms.ToolStripButton();
            this.toolStripAddedLibsList = new System.Windows.Forms.ToolStripDropDownButton();
            this.toolStripSeparator1 = new System.Windows.Forms.ToolStripSeparator();
            this.toolDebugWnd = new System.Windows.Forms.ToolStripButton();
            this.toolStripMenuItem1 = new System.Windows.Forms.ToolStripSeparator();
            this.ogsaDaiAddressToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
            this.ogsaDaiUrl = new System.Windows.Forms.ToolStripTextBox();
            this.statusStrip1.SuspendLayout();
            this.splitContainer1.Panel1.SuspendLayout();
            this.splitContainer1.Panel2.SuspendLayout();
            this.splitContainer1.SuspendLayout();
            this.splitContainer2.Panel1.SuspendLayout();
            this.splitContainer2.Panel2.SuspendLayout();
            this.splitContainer2.SuspendLayout();
            this.groupBox1.SuspendLayout();
            this.statusExpression.SuspendLayout();
            this.groupBox2.SuspendLayout();
            this.tabDiagrams.SuspendLayout();
            this.tabResultExpression.SuspendLayout();
            this.toolStrip1.SuspendLayout();
            this.SuspendLayout();
            // 
            // statusStrip1
            // 
            this.statusStrip1.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
            this.statusLibrary});
            this.statusStrip1.Location = new System.Drawing.Point(0, 699);
            this.statusStrip1.Name = "statusStrip1";
            this.statusStrip1.Size = new System.Drawing.Size(942, 22);
            this.statusStrip1.TabIndex = 2;
            this.statusStrip1.Text = "statusStrip1";
            // 
            // statusLibrary
            // 
            this.statusLibrary.Name = "statusLibrary";
            this.statusLibrary.Size = new System.Drawing.Size(84, 17);
            this.statusLibrary.Text = "No Operations";
            // 
            // splitContainer1
            // 
            this.splitContainer1.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
                        | System.Windows.Forms.AnchorStyles.Left)
                        | System.Windows.Forms.AnchorStyles.Right)));
            this.splitContainer1.BorderStyle = System.Windows.Forms.BorderStyle.FixedSingle;
            this.splitContainer1.Location = new System.Drawing.Point(0, 25);
            this.splitContainer1.MinimumSize = new System.Drawing.Size(0, 100);
            this.splitContainer1.Name = "splitContainer1";
            this.splitContainer1.Orientation = System.Windows.Forms.Orientation.Horizontal;
            // 
            // splitContainer1.Panel1
            // 
            this.splitContainer1.Panel1.Controls.Add(this.splitContainer2);
            // 
            // splitContainer1.Panel2
            // 
            this.splitContainer1.Panel2.Controls.Add(this.tabDiagrams);
            this.splitContainer1.Panel2MinSize = 100;
            this.splitContainer1.Size = new System.Drawing.Size(942, 671);
            this.splitContainer1.SplitterDistance = 243;
            this.splitContainer1.TabIndex = 3;
            // 
            // splitContainer2
            // 
            this.splitContainer2.Dock = System.Windows.Forms.DockStyle.Fill;
            this.splitContainer2.Location = new System.Drawing.Point(0, 0);
            this.splitContainer2.Name = "splitContainer2";
            // 
            // splitContainer2.Panel1
            // 
            this.splitContainer2.Panel1.Controls.Add(this.groupBox1);
            // 
            // splitContainer2.Panel2
            // 
            this.splitContainer2.Panel2.Controls.Add(this.groupBox2);
            this.splitContainer2.Size = new System.Drawing.Size(940, 241);
            this.splitContainer2.SplitterDistance = 368;
            this.splitContainer2.TabIndex = 0;
            // 
            // groupBox1
            // 
            this.groupBox1.Controls.Add(this.statusExpression);
            this.groupBox1.Controls.Add(this.expression);
            this.groupBox1.Dock = System.Windows.Forms.DockStyle.Fill;
            this.groupBox1.Location = new System.Drawing.Point(0, 0);
            this.groupBox1.Name = "groupBox1";
            this.groupBox1.Size = new System.Drawing.Size(368, 241);
            this.groupBox1.TabIndex = 0;
            this.groupBox1.TabStop = false;
            this.groupBox1.Text = "Expression";
            // 
            // statusExpression
            // 
            this.statusExpression.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
            this.toolStripCurrentChar,
            this.toolStripFontSizeMenu,
            this.toolStripExpressionCopyToClipboard,
            this.toolStripExpressionSelectAll,
            this.toolStripExpressionClear,
            this.toolStripDropDownButton2});
            this.statusExpression.Location = new System.Drawing.Point(3, 216);
            this.statusExpression.Name = "statusExpression";
            this.statusExpression.Size = new System.Drawing.Size(362, 22);
            this.statusExpression.TabIndex = 1;
            this.statusExpression.Text = "statusStrip2";
            // 
            // toolStripCurrentChar
            // 
            this.toolStripCurrentChar.Name = "toolStripCurrentChar";
            this.toolStripCurrentChar.Size = new System.Drawing.Size(44, 17);
            this.toolStripCurrentChar.Text = "Char: 0";
            // 
            // toolStripFontSizeMenu
            // 
            this.toolStripFontSizeMenu.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
            this.toolStripFontSizeMenu.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
            this.ptToolStripMenuItem6,
            this.ptToolStripMenuItem5,
            this.ptToolStripMenuItem4,
            this.ptToolStripMenuItem3,
            this.ptToolStripMenuItem2,
            this.ptToolStripMenuItem1,
            this.ptToolStripMenuItem});
            this.toolStripFontSizeMenu.Image = global::VisualFaml.Properties.Resources.FontSize;
            this.toolStripFontSizeMenu.ImageTransparentColor = System.Drawing.Color.Red;
            this.toolStripFontSizeMenu.Name = "toolStripFontSizeMenu";
            this.toolStripFontSizeMenu.Size = new System.Drawing.Size(29, 20);
            this.toolStripFontSizeMenu.Text = "toolStripDropDownButton3";
            this.toolStripFontSizeMenu.ToolTipText = "Font size";
            // 
            // ptToolStripMenuItem6
            // 
            this.ptToolStripMenuItem6.Name = "ptToolStripMenuItem6";
            this.ptToolStripMenuItem6.Size = new System.Drawing.Size(100, 22);
            this.ptToolStripMenuItem6.Tag = 30;
            this.ptToolStripMenuItem6.Text = "30 pt";
            this.ptToolStripMenuItem6.Click += new System.EventHandler(this.ptToolStripMenuItem_Click);
            // 
            // ptToolStripMenuItem5
            // 
            this.ptToolStripMenuItem5.Name = "ptToolStripMenuItem5";
            this.ptToolStripMenuItem5.Size = new System.Drawing.Size(100, 22);
            this.ptToolStripMenuItem5.Tag = 24;
            this.ptToolStripMenuItem5.Text = "24 pt";
            this.ptToolStripMenuItem5.Click += new System.EventHandler(this.ptToolStripMenuItem_Click);
            // 
            // ptToolStripMenuItem4
            // 
            this.ptToolStripMenuItem4.Name = "ptToolStripMenuItem4";
            this.ptToolStripMenuItem4.Size = new System.Drawing.Size(100, 22);
            this.ptToolStripMenuItem4.Tag = 20;
            this.ptToolStripMenuItem4.Text = "20 pt";
            this.ptToolStripMenuItem4.Click += new System.EventHandler(this.ptToolStripMenuItem_Click);
            // 
            // ptToolStripMenuItem3
            // 
            this.ptToolStripMenuItem3.Name = "ptToolStripMenuItem3";
            this.ptToolStripMenuItem3.Size = new System.Drawing.Size(100, 22);
            this.ptToolStripMenuItem3.Tag = 16;
            this.ptToolStripMenuItem3.Text = "16 pt";
            this.ptToolStripMenuItem3.Click += new System.EventHandler(this.ptToolStripMenuItem_Click);
            // 
            // ptToolStripMenuItem2
            // 
            this.ptToolStripMenuItem2.Name = "ptToolStripMenuItem2";
            this.ptToolStripMenuItem2.Size = new System.Drawing.Size(100, 22);
            this.ptToolStripMenuItem2.Tag = 14;
            this.ptToolStripMenuItem2.Text = "14 pt";
            this.ptToolStripMenuItem2.Click += new System.EventHandler(this.ptToolStripMenuItem_Click);
            // 
            // ptToolStripMenuItem1
            // 
            this.ptToolStripMenuItem1.Name = "ptToolStripMenuItem1";
            this.ptToolStripMenuItem1.Size = new System.Drawing.Size(100, 22);
            this.ptToolStripMenuItem1.Tag = 12;
            this.ptToolStripMenuItem1.Text = "12 pt";
            this.ptToolStripMenuItem1.Click += new System.EventHandler(this.ptToolStripMenuItem_Click);
            // 
            // ptToolStripMenuItem
            // 
            this.ptToolStripMenuItem.Checked = true;
            this.ptToolStripMenuItem.CheckState = System.Windows.Forms.CheckState.Checked;
            this.ptToolStripMenuItem.Name = "ptToolStripMenuItem";
            this.ptToolStripMenuItem.Size = new System.Drawing.Size(100, 22);
            this.ptToolStripMenuItem.Tag = 9;
            this.ptToolStripMenuItem.Text = "9 pt";
            this.ptToolStripMenuItem.Click += new System.EventHandler(this.ptToolStripMenuItem_Click);
            // 
            // toolStripExpressionCopyToClipboard
            // 
            this.toolStripExpressionCopyToClipboard.Image = ((System.Drawing.Image)(resources.GetObject("toolStripExpressionCopyToClipboard.Image")));
            this.toolStripExpressionCopyToClipboard.ImageTransparentColor = System.Drawing.Color.Magenta;
            this.toolStripExpressionCopyToClipboard.Name = "toolStripExpressionCopyToClipboard";
            this.toolStripExpressionCopyToClipboard.ShowDropDownArrow = false;
            this.toolStripExpressionCopyToClipboard.Size = new System.Drawing.Size(72, 20);
            this.toolStripExpressionCopyToClipboard.Text = "Copy All";
            this.toolStripExpressionCopyToClipboard.Click += new System.EventHandler(this.toolStripExpressionCopyToClipboard_Click);
            // 
            // toolStripExpressionSelectAll
            // 
            this.toolStripExpressionSelectAll.Image = ((System.Drawing.Image)(resources.GetObject("toolStripExpressionSelectAll.Image")));
            this.toolStripExpressionSelectAll.ImageTransparentColor = System.Drawing.Color.Magenta;
            this.toolStripExpressionSelectAll.Name = "toolStripExpressionSelectAll";
            this.toolStripExpressionSelectAll.ShowDropDownArrow = false;
            this.toolStripExpressionSelectAll.Size = new System.Drawing.Size(75, 20);
            this.toolStripExpressionSelectAll.Text = "Select All";
            this.toolStripExpressionSelectAll.Click += new System.EventHandler(this.toolStripExpressionSelectAll_Click);
            // 
            // toolStripExpressionClear
            // 
            this.toolStripExpressionClear.Image = ((System.Drawing.Image)(resources.GetObject("toolStripExpressionClear.Image")));
            this.toolStripExpressionClear.ImageTransparentColor = System.Drawing.Color.Magenta;
            this.toolStripExpressionClear.Name = "toolStripExpressionClear";
            this.toolStripExpressionClear.ShowDropDownArrow = false;
            this.toolStripExpressionClear.Size = new System.Drawing.Size(71, 20);
            this.toolStripExpressionClear.Text = "Clear All";
            this.toolStripExpressionClear.Click += new System.EventHandler(this.toolStripExpressionClear_Click);
            // 
            // toolStripDropDownButton2
            // 
            this.toolStripDropDownButton2.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
            this.toolStripDropDownButton2.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
            this.openToolStripMenuItem,
            this.saveAsToolStripMenuItem});
            this.toolStripDropDownButton2.Image = ((System.Drawing.Image)(resources.GetObject("toolStripDropDownButton2.Image")));
            this.toolStripDropDownButton2.ImageTransparentColor = System.Drawing.Color.Red;
            this.toolStripDropDownButton2.Name = "toolStripDropDownButton2";
            this.toolStripDropDownButton2.Size = new System.Drawing.Size(29, 20);
            this.toolStripDropDownButton2.Text = "Files";
            this.toolStripDropDownButton2.ToolTipText = "Files";
            // 
            // openToolStripMenuItem
            // 
            this.openToolStripMenuItem.Image = ((System.Drawing.Image)(resources.GetObject("openToolStripMenuItem.Image")));
            this.openToolStripMenuItem.ImageTransparentColor = System.Drawing.Color.White;
            this.openToolStripMenuItem.Name = "openToolStripMenuItem";
            this.openToolStripMenuItem.Size = new System.Drawing.Size(123, 22);
            this.openToolStripMenuItem.Text = "Open...";
            this.openToolStripMenuItem.Click += new System.EventHandler(this.openToolStripMenuItem_Click);
            // 
            // saveAsToolStripMenuItem
            // 
            this.saveAsToolStripMenuItem.Image = ((System.Drawing.Image)(resources.GetObject("saveAsToolStripMenuItem.Image")));
            this.saveAsToolStripMenuItem.ImageTransparentColor = System.Drawing.Color.Red;
            this.saveAsToolStripMenuItem.Name = "saveAsToolStripMenuItem";
            this.saveAsToolStripMenuItem.Size = new System.Drawing.Size(123, 22);
            this.saveAsToolStripMenuItem.Text = "Save As...";
            this.saveAsToolStripMenuItem.Click += new System.EventHandler(this.saveAsToolStripMenuItem_Click);
            // 
            // expression
            // 
            this.expression.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
                        | System.Windows.Forms.AnchorStyles.Left)
                        | System.Windows.Forms.AnchorStyles.Right)));
            this.expression.Font = new System.Drawing.Font("Consolas", 9F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(204)));
            this.expression.ForeColor = System.Drawing.Color.DarkGreen;
            this.expression.Location = new System.Drawing.Point(3, 16);
            this.expression.Multiline = true;
            this.expression.Name = "expression";
            this.expression.ScrollBars = System.Windows.Forms.ScrollBars.Both;
            this.expression.Size = new System.Drawing.Size(362, 197);
            this.expression.TabIndex = 0;
            this.expression.KeyDown += new System.Windows.Forms.KeyEventHandler(this.expression_KeyDown);
            this.expression.KeyUp += new System.Windows.Forms.KeyEventHandler(this.expression_KeyUp);
            this.expression.MouseClick += new System.Windows.Forms.MouseEventHandler(this.expression_MouseClick);
            // 
            // groupBox2
            // 
            this.groupBox2.Controls.Add(this.output);
            this.groupBox2.Dock = System.Windows.Forms.DockStyle.Fill;
            this.groupBox2.Location = new System.Drawing.Point(0, 0);
            this.groupBox2.Name = "groupBox2";
            this.groupBox2.Size = new System.Drawing.Size(568, 241);
            this.groupBox2.TabIndex = 0;
            this.groupBox2.TabStop = false;
            this.groupBox2.Text = "Ouput";
            // 
            // output
            // 
            this.output.BackColor = System.Drawing.Color.FromArgb(((int)(((byte)(234)))), ((int)(((byte)(245)))), ((int)(((byte)(211)))));
            this.output.Dock = System.Windows.Forms.DockStyle.Fill;
            this.output.Font = new System.Drawing.Font("Consolas", 10F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(204)));
            this.output.ForeColor = System.Drawing.Color.DarkGreen;
            this.output.Location = new System.Drawing.Point(3, 16);
            this.output.Multiline = true;
            this.output.Name = "output";
            this.output.ReadOnly = true;
            this.output.ScrollBars = System.Windows.Forms.ScrollBars.Both;
            this.output.Size = new System.Drawing.Size(562, 222);
            this.output.TabIndex = 1;
            this.output.TextChanged += new System.EventHandler(this.output_TextChanged);
            // 
            // tabDiagrams
            // 
            this.tabDiagrams.Controls.Add(this.tabResultExpression);
            this.tabDiagrams.Dock = System.Windows.Forms.DockStyle.Fill;
            this.tabDiagrams.Location = new System.Drawing.Point(0, 0);
            this.tabDiagrams.Name = "tabDiagrams";
            this.tabDiagrams.SelectedIndex = 0;
            this.tabDiagrams.Size = new System.Drawing.Size(940, 422);
            this.tabDiagrams.TabIndex = 0;
            this.tabDiagrams.Visible = false;
            // 
            // tabResultExpression
            // 
            this.tabResultExpression.Controls.Add(this.resultExpression);
            this.tabResultExpression.Location = new System.Drawing.Point(4, 22);
            this.tabResultExpression.Name = "tabResultExpression";
            this.tabResultExpression.Size = new System.Drawing.Size(932, 396);
            this.tabResultExpression.TabIndex = 0;
            this.tabResultExpression.Text = "Result expression";
            this.tabResultExpression.UseVisualStyleBackColor = true;
            // 
            // resultExpression
            // 
            this.resultExpression.BackColor = System.Drawing.Color.FromArgb(((int)(((byte)(234)))), ((int)(((byte)(245)))), ((int)(((byte)(211)))));
            this.resultExpression.Dock = System.Windows.Forms.DockStyle.Fill;
            this.resultExpression.Font = new System.Drawing.Font("Consolas", 10.5F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(204)));
            this.resultExpression.ForeColor = System.Drawing.Color.DarkGreen;
            this.resultExpression.Location = new System.Drawing.Point(0, 0);
            this.resultExpression.Multiline = true;
            this.resultExpression.Name = "resultExpression";
            this.resultExpression.ReadOnly = true;
            this.resultExpression.ScrollBars = System.Windows.Forms.ScrollBars.Both;
            this.resultExpression.Size = new System.Drawing.Size(932, 396);
            this.resultExpression.TabIndex = 2;
            // 
            // toolStrip1
            // 
            this.toolStrip1.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
            this.toolStripDropDownButton1,
            this.toolStripSplitButton1,
            this.toolOptimizationSwitch,
            this.toolStripAddedLibsList,
            this.toolStripSeparator1,
            this.toolDebugWnd});
            this.toolStrip1.Location = new System.Drawing.Point(0, 0);
            this.toolStrip1.Name = "toolStrip1";
            this.toolStrip1.Size = new System.Drawing.Size(942, 25);
            this.toolStrip1.TabIndex = 1;
            this.toolStrip1.Text = "toolStrip1";
            // 
            // toolStripDropDownButton1
            // 
            this.toolStripDropDownButton1.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
            this.evaluateToolStripMenuItem,
            this.evaluateBuildToolStripMenuItem,
            this.buildGraphToolStripMenuItem});
            this.toolStripDropDownButton1.Image = ((System.Drawing.Image)(resources.GetObject("toolStripDropDownButton1.Image")));
            this.toolStripDropDownButton1.ImageTransparentColor = System.Drawing.Color.Magenta;
            this.toolStripDropDownButton1.Name = "toolStripDropDownButton1";
            this.toolStripDropDownButton1.Size = new System.Drawing.Size(76, 22);
            this.toolStripDropDownButton1.Text = "&Actions";
            this.toolStripDropDownButton1.Click += new System.EventHandler(this.toolStripDropDownButton1_Click);
            // 
            // evaluateToolStripMenuItem
            // 
            this.evaluateToolStripMenuItem.Name = "evaluateToolStripMenuItem";
            this.evaluateToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.F5)));
            this.evaluateToolStripMenuItem.Size = new System.Drawing.Size(214, 22);
            this.evaluateToolStripMenuItem.Text = "Evaluate";
            this.evaluateToolStripMenuItem.Click += new System.EventHandler(this.evaluateToolStripMenuItem_Click);
            // 
            // evaluateBuildToolStripMenuItem
            // 
            this.evaluateBuildToolStripMenuItem.Name = "evaluateBuildToolStripMenuItem";
            this.evaluateBuildToolStripMenuItem.ShortcutKeys = System.Windows.Forms.Keys.F5;
            this.evaluateBuildToolStripMenuItem.Size = new System.Drawing.Size(214, 22);
            this.evaluateBuildToolStripMenuItem.Text = "Evaluate && Build graph";
            this.evaluateBuildToolStripMenuItem.Click += new System.EventHandler(this.evaluateBuildToolStripMenuItem_Click);
            // 
            // buildGraphToolStripMenuItem
            // 
            this.buildGraphToolStripMenuItem.Name = "buildGraphToolStripMenuItem";
            this.buildGraphToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.B)));
            this.buildGraphToolStripMenuItem.Size = new System.Drawing.Size(214, 22);
            this.buildGraphToolStripMenuItem.Text = "Build graph";
            this.buildGraphToolStripMenuItem.Click += new System.EventHandler(this.buildGraphToolStripMenuItem_Click);
            // 
            // toolStripSplitButton1
            // 
            this.toolStripSplitButton1.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Text;
            this.toolStripSplitButton1.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
            this.localToolStripMenuItem,
            this.oGSADAIToolStripMenuItem,
            this.toolStripMenuItem1,
            this.ogsaDaiAddressToolStripMenuItem});
            this.toolStripSplitButton1.Image = ((System.Drawing.Image)(resources.GetObject("toolStripSplitButton1.Image")));
            this.toolStripSplitButton1.ImageTransparentColor = System.Drawing.Color.Magenta;
            this.toolStripSplitButton1.Name = "toolStripSplitButton1";
            this.toolStripSplitButton1.Size = new System.Drawing.Size(72, 22);
            this.toolStripSplitButton1.Text = "Evaluator";
            // 
            // localToolStripMenuItem
            // 
            this.localToolStripMenuItem.Checked = true;
            this.localToolStripMenuItem.CheckState = System.Windows.Forms.CheckState.Checked;
            this.localToolStripMenuItem.Name = "localToolStripMenuItem";
            this.localToolStripMenuItem.Size = new System.Drawing.Size(223, 22);
            this.localToolStripMenuItem.Text = "Local";
            this.localToolStripMenuItem.Click += new System.EventHandler(this.localToolStripMenuItem_Click);
            // 
            // oGSADAIToolStripMenuItem
            // 
            this.oGSADAIToolStripMenuItem.Name = "oGSADAIToolStripMenuItem";
            this.oGSADAIToolStripMenuItem.Size = new System.Drawing.Size(223, 22);
            this.oGSADAIToolStripMenuItem.Text = "OGSA DAI";
            this.oGSADAIToolStripMenuItem.Click += new System.EventHandler(this.oGSADAIToolStripMenuItem_Click);
            // 
            // toolOptimizationSwitch
            // 
            this.toolOptimizationSwitch.Checked = true;
            this.toolOptimizationSwitch.CheckOnClick = true;
            this.toolOptimizationSwitch.CheckState = System.Windows.Forms.CheckState.Checked;
            this.toolOptimizationSwitch.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Text;
            this.toolOptimizationSwitch.Image = ((System.Drawing.Image)(resources.GetObject("toolOptimizationSwitch.Image")));
            this.toolOptimizationSwitch.ImageTransparentColor = System.Drawing.Color.Magenta;
            this.toolOptimizationSwitch.Name = "toolOptimizationSwitch";
            this.toolOptimizationSwitch.Size = new System.Drawing.Size(107, 22);
            this.toolOptimizationSwitch.Text = "Optimizations: On";
            this.toolOptimizationSwitch.CheckedChanged += new System.EventHandler(this.toolOptimizationSwitch_CheckedChanged);
            // 
            // toolStripAddedLibsList
            // 
            this.toolStripAddedLibsList.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Text;
            this.toolStripAddedLibsList.Image = ((System.Drawing.Image)(resources.GetObject("toolStripAddedLibsList.Image")));
            this.toolStripAddedLibsList.ImageTransparentColor = System.Drawing.Color.Magenta;
            this.toolStripAddedLibsList.Name = "toolStripAddedLibsList";
            this.toolStripAddedLibsList.Size = new System.Drawing.Size(122, 22);
            this.toolStripAddedLibsList.Text = "External Operations";
            this.toolStripAddedLibsList.ToolTipText = "Operations";
            // 
            // toolStripSeparator1
            // 
            this.toolStripSeparator1.Name = "toolStripSeparator1";
            this.toolStripSeparator1.Size = new System.Drawing.Size(6, 25);
            // 
            // toolDebugWnd
            // 
            this.toolDebugWnd.Checked = true;
            this.toolDebugWnd.CheckOnClick = true;
            this.toolDebugWnd.CheckState = System.Windows.Forms.CheckState.Checked;
            this.toolDebugWnd.Image = ((System.Drawing.Image)(resources.GetObject("toolDebugWnd.Image")));
            this.toolDebugWnd.ImageTransparentColor = System.Drawing.Color.Magenta;
            this.toolDebugWnd.Name = "toolDebugWnd";
            this.toolDebugWnd.Size = new System.Drawing.Size(103, 22);
            this.toolDebugWnd.Text = "Debug Output";
            this.toolDebugWnd.CheckedChanged += new System.EventHandler(this.toolDebugWnd_CheckedChanged);
            this.toolDebugWnd.Click += new System.EventHandler(this.toolDebugWnd_Click);
            // 
            // toolStripMenuItem1
            // 
            this.toolStripMenuItem1.Name = "toolStripMenuItem1";
            this.toolStripMenuItem1.Size = new System.Drawing.Size(220, 6);
            // 
            // ogsaDaiAddressToolStripMenuItem
            // 
            this.ogsaDaiAddressToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
            this.ogsaDaiUrl});
            this.ogsaDaiAddressToolStripMenuItem.Name = "ogsaDaiAddressToolStripMenuItem";
            this.ogsaDaiAddressToolStripMenuItem.Size = new System.Drawing.Size(223, 22);
            this.ogsaDaiAddressToolStripMenuItem.Text = "Change OGSA DAI address...";
            this.ogsaDaiAddressToolStripMenuItem.DropDownClosed += new System.EventHandler(this.ogsaDaiAddressToolStripMenuItem_DropDownClosed);
            this.ogsaDaiAddressToolStripMenuItem.Click += new System.EventHandler(this.ogsaDaiAddressToolStripMenuItem_Click);
            // 
            // ogsaDaiUrl
            // 
            this.ogsaDaiUrl.Name = "ogsaDaiUrl";
            this.ogsaDaiUrl.Size = new System.Drawing.Size(300, 23);
            this.ogsaDaiUrl.Text = "http://devel.wdcb.ru:85/Esse/Service.asmx";
            // 
            // Form1
            // 
            this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
            this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
            this.ClientSize = new System.Drawing.Size(942, 721);
            this.Controls.Add(this.splitContainer1);
            this.Controls.Add(this.statusStrip1);
            this.Controls.Add(this.toolStrip1);
            this.Name = "Form1";
            this.Text = "VisualFaml";
            this.WindowState = System.Windows.Forms.FormWindowState.Maximized;
            this.Load += new System.EventHandler(this.Form1_Load);
            this.Shown += new System.EventHandler(this.Form1_Shown);
            this.FormClosed += new System.Windows.Forms.FormClosedEventHandler(this.Form1_FormClosed);
            this.statusStrip1.ResumeLayout(false);
            this.statusStrip1.PerformLayout();
            this.splitContainer1.Panel1.ResumeLayout(false);
            this.splitContainer1.Panel2.ResumeLayout(false);
            this.splitContainer1.ResumeLayout(false);
            this.splitContainer2.Panel1.ResumeLayout(false);
            this.splitContainer2.Panel2.ResumeLayout(false);
            this.splitContainer2.ResumeLayout(false);
            this.groupBox1.ResumeLayout(false);
            this.groupBox1.PerformLayout();
            this.statusExpression.ResumeLayout(false);
            this.statusExpression.PerformLayout();
            this.groupBox2.ResumeLayout(false);
            this.groupBox2.PerformLayout();
            this.tabDiagrams.ResumeLayout(false);
            this.tabResultExpression.ResumeLayout(false);
            this.tabResultExpression.PerformLayout();
            this.toolStrip1.ResumeLayout(false);
            this.toolStrip1.PerformLayout();
            this.ResumeLayout(false);
            this.PerformLayout();

        }

        #endregion

        private System.Windows.Forms.StatusStrip statusStrip1;
        private System.Windows.Forms.ToolStripStatusLabel statusLibrary;
        private System.Windows.Forms.SplitContainer splitContainer1;
        private System.Windows.Forms.ToolStrip toolStrip1;
        private System.Windows.Forms.ToolStripDropDownButton toolStripDropDownButton1;
        private System.Windows.Forms.ToolStripMenuItem buildGraphToolStripMenuItem;
        private System.Windows.Forms.ToolStripMenuItem evaluateBuildToolStripMenuItem;
        private System.Windows.Forms.ToolStripMenuItem evaluateToolStripMenuItem;
        private System.Windows.Forms.SplitContainer splitContainer2;
        private System.Windows.Forms.GroupBox groupBox1;
        private System.Windows.Forms.TextBox expression;
        private System.Windows.Forms.GroupBox groupBox2;
        private ConsoleBox output;
        private System.Windows.Forms.ToolStripDropDownButton toolStripAddedLibsList;
        private System.Windows.Forms.ToolStripButton toolOptimizationSwitch;
        private System.Windows.Forms.ToolStripSeparator toolStripSeparator1;
        private System.Windows.Forms.ToolStripButton toolDebugWnd;
        private System.Windows.Forms.StatusStrip statusExpression;
        private System.Windows.Forms.ToolStripStatusLabel toolStripCurrentChar;
        private System.Windows.Forms.TabControl tabDiagrams;
        private System.Windows.Forms.TabPage tabResultExpression;
        private ConsoleBox resultExpression;
        private System.Windows.Forms.ToolStripDropDownButton toolStripExpressionSelectAll;
        private System.Windows.Forms.ToolStripDropDownButton toolStripExpressionCopyToClipboard;
        private System.Windows.Forms.ToolStripDropDownButton toolStripExpressionClear;
        private System.Windows.Forms.ToolStripDropDownButton toolStripDropDownButton2;
        private System.Windows.Forms.ToolStripMenuItem saveAsToolStripMenuItem;
        private System.Windows.Forms.ToolStripMenuItem openToolStripMenuItem;
        private System.Windows.Forms.ToolStripDropDownButton toolStripFontSizeMenu;
        private System.Windows.Forms.ToolStripMenuItem ptToolStripMenuItem1;
        private System.Windows.Forms.ToolStripMenuItem ptToolStripMenuItem;
        private System.Windows.Forms.ToolStripMenuItem ptToolStripMenuItem4;
        private System.Windows.Forms.ToolStripMenuItem ptToolStripMenuItem3;
        private System.Windows.Forms.ToolStripMenuItem ptToolStripMenuItem2;
        private System.Windows.Forms.ToolStripMenuItem ptToolStripMenuItem6;
        private System.Windows.Forms.ToolStripMenuItem ptToolStripMenuItem5;
        private System.Windows.Forms.ToolStripSplitButton toolStripSplitButton1;
        private System.Windows.Forms.ToolStripMenuItem localToolStripMenuItem;
        private System.Windows.Forms.ToolStripMenuItem oGSADAIToolStripMenuItem;
        private System.Windows.Forms.ToolStripSeparator toolStripMenuItem1;
        private System.Windows.Forms.ToolStripMenuItem ogsaDaiAddressToolStripMenuItem;
        private System.Windows.Forms.ToolStripTextBox ogsaDaiUrl;

    }
}

